Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
91	Decision Problems for Additive Regular Functions Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 09:21:06 Mathematics Models of computation Metalogic Structure Universal algebra FO Model theory String Symbol Automata theory Theoretical computer science Formal languages
92	THE COMPLEXITY OF THE FIRST-ORDER THEORY OF GROUND TREE REWRITE GRAPHS ¨ STEFAN GOLLER AND MARKUS LOHREY Universit¨at Bremen, Germany Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-06-19 07:22:27 Formal languages Automata theory Tree decomposition Graph Tree Structure Rewriting Binary tree Matching Mathematics Graph theory Theoretical computer science
93	Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-08 01:07:27 Computer science Rajeev Alur Formal sciences Automata theory Model checking IEEE Symposium on Logic in Computer Science Formal methods Formal verification Symposium on Theory of Computing Theoretical computer science Applied mathematics Logic in computer science
94	THE COST OF REPAIRS Gabriele Puppis LaBRI / CNRS based on joint works with Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2015-02-23 23:15:04 Formal languages Applied mathematics Computer science Finite-state machine Finite state transducer Automata theory Models of computation Theoretical computer science
95	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
96	A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-12-14 22:31:51 Automata theory Computing Application software Models of computation Uppaal Model Checker Stateflow Simulink Finite-state machine Valuation Visual programming languages Model checkers Software
97	From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur Antoine Durand-Gasselin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 12:28:54 Theoretical computer science Models of computation Combinatorics on words Logic Finite state transducer Semigroup theory String Model theory Regular language Formal languages Automata theory Mathematics
98	¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-07-18 21:05:22 Ω-automaton Tree Binary tree Mathematics Tree automaton Büchi automaton Automata theory Theoretical computer science Computer science
99	Logic and Automata, Assignmentmarks) Construct B¨ uchi automata accepting ω-words satisfying the following LTL formulae: (a) G F X a Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-21 13:28:41 Theoretical computer science Tree automaton Computer science Automata theory Temporal logic Linear temporal logic
100	Warsaw University Faculty of Mathematics, Informatics and Mechanics Filip Murlak Eective Topological Hierarchies of Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2008-06-24 07:12:17 Automata theory Structure Borel hierarchy Hierarchy Abstraction Descriptive set theory Wadge hierarchy Mathematics

UPDATE